AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:证明安全和发现漏洞的双重分析
Corneliu Popeea A; Wei-ngan Chin B;
机译:双重分析可证明安全性和发现错误
机译:双重分析,推荐开发人员解决错误
机译:指针分析的新型分析空间及其在错误发现中的应用
机译:双重分析证明安全性和发现错误
机译:使用静态分析查找大型软件系统中的错误传播错误。
机译:原始研究文章:与女性的裸金属支架相比大冠状动脉中的药物洗脱支架可同时提高安全性和疗效:对BASKET-PROVE I和II试验的汇总分析
机译:综合静力分析,定理证明和抽象论证明安全性
机译:用于检查分布式并发错误的模型检查器
机译:查找分布式并发错误的模型检查器
机译:查找计算机程序代码中的错误的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。